30 found
Order:
  1.  35
    C. S. S. Peirce and E. G. A. Husserl on the nature of logic.Albert A. Mullin - 1966 - Notre Dame Journal of Formal Logic 7 (4):301-304.
  2.  17
    A note on a weakened Goldbach-like conjecture.Albert A. Mullin - 1962 - Notre Dame Journal of Formal Logic 3 (2):118-119.
  3.  17
    Correlative remarks concerning elementary number theory, groups and mutant sets.Albert A. Mullin - 1961 - Notre Dame Journal of Formal Logic 2 (4):253-254.
  4.  21
    Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic.Albert A. Mullin - 1965 - Notre Dame Journal of Formal Logic 6 (3):218-222.
  5.  19
    On a proper class and related matters.Albert A. Mullin - 1966 - Notre Dame Journal of Formal Logic 7 (1):101-102.
  6.  9
    On differences of certain structured sets.Albert A. Mullin - 1963 - Notre Dame Journal of Formal Logic 4 (2):158-160.
  7.  16
    On new theorems for elementary number theory.Albert A. Mullin - 1967 - Notre Dame Journal of Formal Logic 8 (4):353-356.
  8.  22
    Some theorems on the structure of mutant sets and their applications to group and ring theories.Albert A. Mullin - 1962 - Notre Dame Journal of Formal Logic 3 (3):148-151.
  9.  6
    A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Mathematical Logic Quarterly 11 (2):117-119.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  21
    A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119.
  11.  18
    Elementary relations between the fundamental theorem of arithmetic, schnirelmann's classical theorem, and goldbach's conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13‐17):199-201.
  12.  28
    Elementary Relations Between the Fundamental Theorem of Arithmetic, schnirelmann's Classical Theorem, and goldbach's Conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13-17):199-201.
  13.  18
    N. V. Bélákin. Modélirovanié mašin T'úringa na sétkah . Diskrétnyj analiz, no. 1 , pp. 32–41.Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):199.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  16
    On a final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (9‐12):159-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  28
    On a final multiplicative formulation of the fundamental theorem of arithmetic.Albert A. Mullin - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):159-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  11
    On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (10):145-148.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  29
    On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (10):145-148.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  18
    On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (12‐15):203-205.
  19.  31
    On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  28
    Lupanov O. B.. Ob odnom métodé sintéza shém . Izvéstiá vysših učébnyh zavédénij, Radiofizika, no. 1 , pp. 120–140.Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (4):593-594.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  10
    Andreas Weiermann. An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions. Discrete Mathematics and Theoretical Computer Science, vol. 6 no. 1 , pp. 133–141. [REVIEW]Albert A. Mullin - 2005 - Bulletin of Symbolic Logic 11 (1):89-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Discrete Mathematics and Theoretical Computer Science. [REVIEW]Albert A. Mullin - 2005 - Bulletin of Symbolic Logic 11 (1):89-89.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Fréjvald R.. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom . Algébra l logika, Séminar, vol. 4 no. 1 , pp. 47–58.Barzdin' Á. M.. Složnost' raspoznavaniá simmétrii na mašinah T'úringa . Problémy kibérnětiki, vol. 15 , pp. 245–248. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (1):159-159.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    Hennie Frederick C. III., Iterative arrays of logical circuits. M.I.T. Press research monograph. The M.I.T. Press, Cambridge, Mass., and John Wiley Sons, Inc., New York and London, 1961, x + 242 pp. [REVIEW]Albert A. Mullin - 1962 - Journal of Symbolic Logic 27 (1):106-107.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  32
    N. V. Bélákin. Vyčislénié efféktivnyh opératorov na mašinah T'úringa s ograničénnym stiraniém . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 19–23. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):198.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  37
    Review: Frederick C. Hennie III, Iterative Arrays of Logical Circuits. [REVIEW]Albert A. Mullin - 1962 - Journal of Symbolic Logic 27 (1):106-107.
  27.  15
    Review: N. V. Belakin, Computation of Effective Operators on Turing Machines with Restricted Erasure. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):198-198.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Review: N. V. Belakin, Simulation of Turing Machines on Nets. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):199-199.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Review: O. B. Lupanov, On a Method of Circuit Synthesis. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (4):593-594.
  30.  11
    Review: R. Frejvald, Complexity of Recognition of Symmetry on Turing Machines with Input; A. M. Barzdin, Complexity of Recognition of Symmetry on Turing Machines. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (1):159-159.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark